Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
331	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Mathematical logic Computer science Denotational semantics Lambda calculus Symbol Combinatory logic Orbifold Programming Computable Functions Theoretical computer science Logic in computer science Programming language semantics
332	Sample Paper for the amsmath Package File name: testmath.tex American Mathematical Society Version 2.0, Add to Reading List Source URL: mirror.easyname.at Language: English - Date: 1999-11-15 15:09:17 Logic in computer science Operator theory Ordinary differential equations Spectral theory Theorems and definitions in linear algebra Sturm–Liouville theory Mathematics Combinatory logic Lambda calculus
333	Conversation Types Lu´ıs Caires and Hugo Torres Vieira CITI, Departamento de Inform´ atica, Faculdade de Ciˆencias e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal Add to Reading List Source URL: ctp.di.fct.unl.pt Language: English - Date: 2012-09-27 14:27:12 Models of computation Computer science Computability theory Lambda calculus Π-calculus Theoretical computer science Mathematics Applied mathematics
334	An Implementation of Bigraph Matching Arne John Glenstrup ∗ , Troels Christoffer Damgaard, Lars Birkedal, Espen Højsgaard IT University of Copenhagen, Denmark Abstract We describe a provably sound and complete matchin Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-11-05 12:26:38 Parity of a permutation Permutations Lambda calculus Mathematics Group theory Parity
335	CS 342 Lecture 8 1 Data Abstraction Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2010-02-23 13:58:07 Lambda calculus Applied mathematics Scheme Computer science Programming language theory
336	Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-04-10 20:31:05 Lambda calculus Normalisation by evaluation Proof theory
337	Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:02:39 Functions and mappings Theoretical computer science Formal methods Models of computation Model theory Symbol Lambda calculus Interpretation Primitive recursive function Mathematics Mathematical logic Computability theory
338	Some parametricity isomorphisms Paul Blain Levy September 16, 2010 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-09-16 16:40:23 Theoretical computer science Applied mathematics Computer science Ordinary differential equations Mathematics Computability theory Lambda calculus
339	BRICS Basic Research in Computer Science BRICS RSO. Danvy: A New One-Pass Transformation into Monadic Normal Form A New One-Pass Transformation into Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-01-20 09:12:30 Functional languages APL programming language family J Symbol Lambda calculus Standard ML Software engineering Computing Computer programming
340	GT-VC 2005 Preliminary Version Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names 1 Mikkel Bundgaard 2 Thomas Hildebrandt 3 Department of Theoretical Computer Science Add to Reading List Source URL: www.itu.dk Language: English - Date: 2009-02-19 09:48:16 Computer science Logic Predicate logic Process calculi Π-calculus Lambda calculus Explicit substitution Free variables and bound variables Symbol Theoretical computer science Mathematics Applied mathematics

UPDATE